Listing 1 - 10 of 32 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Computer science --- Informatics --- Science --- Computer science.
Choose an application
Computer science --- Enseignement. --- Informatique. --- Study and teaching --- Study and teaching. --- Informatics --- Science
Choose an application
Methodologies used to analyse the genomes of prokaryotes and eukaryotes are advancing very rapidly as it has been realized that there is a resolution gap between what can be viewed under the microscope and what molecular techniques can resolve. This book presents current, successful strategies for construction of physical maps to identify and analyse the arrangement and function of genes. These techniques, which are applicable to a range of organisms, are being used to move from linked markers to candidate genes in several human monogenic disorders. They are presented in a way that should enable any research or diagnostic laboratory to apply them to their particular systems. Also included are descriptions of new probes and approaches for the localization of human disorders whose analysis has so far eluded the molecular geneticist.
Chromosome mapping --- Chromosome Mapping --- Chromosomes --- Technique --- cartes --- Gene mapping --- -Chromosome mapping --- Genetic mapping --- Genome mapping --- Linkage mapping (Genetics) --- Mapping, Gene --- Genetics --- Chromosome Mapping. --- Basic Sciences. Bioinformatics --- Technique. --- Genome informatics --- -Technique --- Genome informatics.
Choose an application
Computer. Automation --- Electronic data processing --- Electronic digital computers --- Informatique --- Programmation des ordinateurs --- Programming --- Computer science --- 681.3*A1 --- Informatics --- Science --- Introductory and survey --- 681.3*A1 Introductory and survey --- Computer programming. --- Electronic data processing. --- Electronic digital computers programming
Choose an application
A description of the principles of and practices in human-computer interfacing, based on applied psychology, while integrating the approach with methods of software engineering. Tasks analysis, command language grammar, display and control interfaces and interface evaluation are examined.
Computer science. --- User Interfaces and Human Computer Interaction. --- Informatics --- Science --- User interfaces (Computer systems). --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Software engineering. --- Computer software engineering --- Engineering
Choose an application
Revised and extended, this text covers all features of the C programming language for both the student and the professional user.
C (Computer program language) --- C (Langage de programmation) --- Computer science. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Programming languages (Electronic computers). --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial
Choose an application
This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.
Computer science --- 681.3*D33 --- 681.3*F0 --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Computerwetenschap--?*F0 --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Information theory. --- Computer science. --- Theory of Computation. --- Computation by Abstract Devices. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics
Choose an application
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.
Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic, Symbolic and mathematical. --- Computer science. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Listing 1 - 10 of 32 | << page >> |
Sort by
|